thin-shell precast - German English Dictionary